Resultados de la búsqueda

Para más opciones de búsqueda, vea Ayuda:Búsqueda.

Quizás quisiste decir: logic of programming

Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.

  • Lógica no monotónica
    Cadoli and M. Schaerf (1993) "A survey of complexity results for non-monotonic logics" Journal of Logic Programming 17: 127-60. F. M. Donini, M. Lenzerini…
    6 kB (868 palabras) - 12:55 20 nov 2023
  • Miniatura para Steve Vickers
    Steve Vickers
    Pratt-Hartmann, Ian E. and van Benthem, Johan F.A.K.,Springer, Handbook of Spatial Logics, Springer, 2007, ISBN 978-1-4020-5586-7, Chapter 8, pp. 429–496. Palmgren…
    8 kB (1104 palabras) - 22:49 13 dic 2020
  • Lógica temporal lineal
    modal logics: theory and applications. Elsevier. p. 46. ISBN 978-0-444-50826-3.  Diekert, Volker. «First-order Definable Languages». University of Stuttgart…
    17 kB (1644 palabras) - 23:39 9 oct 2023
  • Miniatura para FreeDOS
    FreeDOS
    es más restrictiva. OpenDOS está basado en el DR-DOS, propiedad de DeviceLogics y que se ofrece como shareware, y Enhanced DR-DOS basado en el OpenDOS.…
    16 kB (2125 palabras) - 16:19 25 ene 2024
  • Cálculo lambda
    inconsistency of certain formal logics». Annals of Mathematics 36 (3): 630-636. doi:10.2307/1968646.  Church, A. «A Formulation of the Simple Theory of Types»…
    45 kB (6137 palabras) - 23:56 27 ene 2024
Obtenido de «https://es.wikipedia.org/wiki/Especial:Buscar»